1![The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy Zirkel, Yi Wei Verified Software Laboratory Department of Computer and Information Sciences University of Delaware Newark, DE, USA The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy Zirkel, Yi Wei Verified Software Laboratory Department of Computer and Information Sciences University of Delaware Newark, DE, USA](https://www.pdfsearch.io/img/a51fb934c3b7068c31e684b86565298e.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2010-07-21 10:31:15
|
---|
2![Voting with Their Feet: Inferring User Preferences from App Management Activities Huoran Li1 , Wei Ai2 , ‡ Xuanzhe Liu1 , Jian Tang3 , ‡ Gang Huang1 , Feng Feng4 , ‡ Qiaozhu Mei2 1 Key Lab of High-Confidence Softw Voting with Their Feet: Inferring User Preferences from App Management Activities Huoran Li1 , Wei Ai2 , ‡ Xuanzhe Liu1 , Jian Tang3 , ‡ Gang Huang1 , Feng Feng4 , ‡ Qiaozhu Mei2 1 Key Lab of High-Confidence Softw](https://www.pdfsearch.io/img/517fdb3d9e98d96888802c8cb07748f3.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 01:13:59
|
---|
3![arXiv:1512.02325v5 [cs.CV] 29 DecSSD: Single Shot MultiBox Detector Wei Liu1 , Dragomir Anguelov2 , Dumitru Erhan3 , Christian Szegedy3 , arXiv:1512.02325v5 [cs.CV] 29 DecSSD: Single Shot MultiBox Detector Wei Liu1 , Dragomir Anguelov2 , Dumitru Erhan3 , Christian Szegedy3 ,](https://www.pdfsearch.io/img/0a6b7684edc2df22bb0433cfeb593905.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2016-12-29 20:22:56
|
---|
4![GAnGS: Gather, Authenticate ’n Group Securely ∗ Chia-Hsin Owen Chen† , Chung-Wei Chen‡ , Cynthia Kuo§ , Yan-Hao Lai∗ , Jonathan M. McCune§ , Ahren Studer§⋄ , Adrian Perrig§ , Bo-Yin Yang† , Tzong-Chen GAnGS: Gather, Authenticate ’n Group Securely ∗ Chia-Hsin Owen Chen† , Chung-Wei Chen‡ , Cynthia Kuo§ , Yan-Hao Lai∗ , Jonathan M. McCune§ , Ahren Studer§⋄ , Adrian Perrig§ , Bo-Yin Yang† , Tzong-Chen](https://www.pdfsearch.io/img/b4c3379631c4c56bdb7f2e4bd24eeb7c.jpg) | Add to Reading ListSource URL: precision.moscito.orgLanguage: English - Date: 2011-03-20 04:03:38
|
---|
5![GroupLink: Group Event Recommendations Using Personal Digital Traces Honghao Wei Tsinghua University Beijing, 100084, China GroupLink: Group Event Recommendations Using Personal Digital Traces Honghao Wei Tsinghua University Beijing, 100084, China](https://www.pdfsearch.io/img/c9d95fb9e5fa99bdde5b2ee4772803f5.jpg) | Add to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 2018-10-25 09:08:20
|
---|
6![Poster: A DDoS Peak Traffic Volume Prediction Method Based on Machine Learning Shuang Wei† , Yijing Ding† , Tongxin Li† , Shuaifu Dai‡ , Xinfeng Wu† and Xinhui Han†∗ † Peking University ‡ CNCERT/CC Poster: A DDoS Peak Traffic Volume Prediction Method Based on Machine Learning Shuang Wei† , Yijing Ding† , Tongxin Li† , Shuaifu Dai‡ , Xinfeng Wu† and Xinhui Han†∗ † Peking University ‡ CNCERT/CC](https://www.pdfsearch.io/img/7454f9c5166baabcd73352394651a00f.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-04-27 07:43:28
|
---|
7![SoK: Eternal War in Memory L´aszl´o Szekeres† , Mathias Payer‡ , Tao Wei∗‡ , Dawn Song‡ † Stony Brook University ‡ University of California, Berkeley ∗ Peking University SoK: Eternal War in Memory L´aszl´o Szekeres† , Mathias Payer‡ , Tao Wei∗‡ , Dawn Song‡ † Stony Brook University ‡ University of California, Berkeley ∗ Peking University](https://www.pdfsearch.io/img/55ea02715070f4a862d622b9e71a408e.jpg) | Add to Reading ListSource URL: people.eecs.berkeley.eduLanguage: English - Date: 2013-03-11 01:57:58
|
---|
8![FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF](https://www.pdfsearch.io/img/be90b63fd0b61978880c4c1a3011ae0d.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2010-07-21 10:31:13
|
---|
9![HONG KONG INSTITUTE FOR MONETARY RESEARCH THE FISCAL THEORY OF THE PRICE LEVEL IN A WORLD OF LOW INTEREST RATES Marco Bassetto and Wei Cui HONG KONG INSTITUTE FOR MONETARY RESEARCH THE FISCAL THEORY OF THE PRICE LEVEL IN A WORLD OF LOW INTEREST RATES Marco Bassetto and Wei Cui](https://www.pdfsearch.io/img/604b3d84ec9c0a2c22a1de9d9ea265b5.jpg) | Add to Reading ListSource URL: www.hkimr.orgLanguage: English - Date: 2018-01-25 22:15:27
|
---|